The diagonals of a rectangle are of equal length